#include <assert.h>
#include <stdio.h>

void main(){
    int tt = 20;
    printf("start \n");
    assert(tt>10);
    printf("start1 \n");
    assert(tt>=30);
    printf("end \n");
}